Maibaum, O. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (295)
Les plus populaires
Liste
- Liste
- Tableau

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance

Pablo F. Castro, T.S.E. Maibaum

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 335 KB

english, 2009

Micelle Formation and the Hydrophobic Effect†

Maibaum, Lutz, Dinner, Aaron R., Chandler, David

Journal:

Journal of Physical Chemistry B

Année:

2004

Langue:

english

Fichier:

PDF, 65 KB

english, 2004

Deontic action logic, atomic boolean algebras and fault-tolerance

Pablo F. Castro, T.S.E. Maibaum

Journal:

Journal of Applied Logic

Année:

2009

Langue:

english

Fichier:

PDF, 363 KB

english, 2009

F.P. Yockey's “Imperium”

Maibaum, Matthew

Journal:

Patterns of Prejudice

Année:

1973

Langue:

english

Fichier:

PDF, 522 KB

english, 1973

Rosetta Lander – Philae: Landing preparations

Ulamec, Stephan, Biele, Jens, Blazquez, Alejandro, Cozzoni, Barbara, Delmas, Cedric, Fantinati, Cinzia, Gaudon, Philippe, Geurts, Koen, Jurado, Eric, Küchemann, Oliver, Lommatsch, Valentina, Maibaum,

Journal:

Acta Astronautica

Année:

2015

Langue:

english

Fichier:

PDF, 1.42 MB

english, 2015

Blue‐print of the far right

Maibaum, Matthew

Journal:

Journal of Ethnic and Migration Studies

Année:

1974

Langue:

english

Fichier:

PDF, 446 KB

english, 1974

What we teach software engineers in the university

Maibaum, Tom S. E.

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

1997

Langue:

english

Fichier:

PDF, 886 KB

english, 1997

Temporal Reasoning over Deontic Specifications

FIADEIRO, J., MAIBAUM, T.

Journal:

Journal of Logic and Computation

Année:

1991

Langue:

english

Fichier:

PDF, 1.90 MB

english, 1991

Proof theory and computer programming

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Année:

1990

Langue:

english

Fichier:

PDF, 1.23 MB

english, 1990

Abstract Data Types and Type Theory: Theories as Types

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Année:

1991

Langue:

english

Fichier:

PDF, 1.16 MB

english, 1991

A Software Certification Consortium and its Top 9 Hurdles

John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 181 KB

english, 2009

On what exactly goes on when software is developed step-by-step, II: The sequel

Tom Maibaum

Journal:

Information Processing Letters

Année:

2003

Langue:

english

Fichier:

PDF, 163 KB

english, 2003

A generalized approach to formal languages

T.S.E. Maibaum

Journal:

Journal of Computer and System Sciences

Année:

1974

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1974

Five-year results of conservatively treated tears of the anterior cruciate ligament

E. Neusel, S. Maibaum, G. Rompe

Journal:

Archives of Orthopaedic and Trauma Surgery

Année:

1996

Langue:

english

Fichier:

PDF, 458 KB

english, 1996

On the design and specification of message oriented programs

Paulo R. F. Cunha, Carlos J. Lucena, T. S. E. Maibaum

Journal:

International Journal of Parallel Programming

Année:

1980

Langue:

english

Fichier:

PDF, 1.61 MB

english, 1980

Evidence-Based Electronic Contract Performance Monitoring

Aspassia Daskalopulu, Theo Dimitrakos, Tom Maibaum

Journal:

Group Decision and Negotiation

Année:

2002

Langue:

english

Fichier:

PDF, 188 KB

english, 2002

A single flux quantum circuit with a ferromagnet-based Josephson π-junction

Khabipov, M I, Balashov, D V, Maibaum, F, Zorin, A B, Oboznov, V A, Bolginov, V V, Rossolenko, A N, Ryazanov, V V

Journal:

Superconductor Science and Technology

Année:

2010

Langue:

english

Fichier:

PDF, 714 KB

english, 2010

Rosetta Lander—After seven years of cruise, prepared for hibernation

Stephan Ulamec, Jens Biele, Cinzia Fantinati, Jean-François Fronton, Philippe Gaudon, Koen Geurts, Christian Krause, Oliver Küchemann, Michael Maibaum, Brigitte Pätz, Reinhard Roll, Rainer Willnecker

Journal:

Acta Astronautica

Année:

2012

Langue:

english

Fichier:

PDF, 904 KB

english, 2012

Encapsulating deontic and branching time specifications

Castro, Pablo F., Maibaum, Thomas S.E.

Journal:

Theoretical Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 419 KB

english, 2012

MSMBuilder2: Modeling Conformational Dynamics on the Picosecond to Millisecond Scale

Beauchamp, Kyle A., Bowman, Gregory R., Lane, Thomas J., Maibaum, Lutz, Haque, Imran S., Pande, Vijay S.

Journal:

Journal of Chemical Theory and Computation

Année:

2011

Langue:

english

Fichier:

PDF, 2.93 MB

english, 2011

[IEEE 2014 IEEE Aerospace Conference - Big Sky, MT, USA (2014.3.1-2014.3.8)] 2014 IEEE Aerospace Conference - OBC-NG: Towards a reconfigurable on-board computing architecture for spacecraft

Ludtke, Daniel, Westerdorff, Karsten, Stohlmann, Kai, Borner, Anko, Maibaum, Olaf, Peng, Ting, Weps, Benjamin, Fey, Gorschwin, Gerndt, Andreas

Année:

2014

Langue:

english

Fichier:

PDF, 3.41 MB

english, 2014

[IEEE Proceedings International Mobility and Wireless Access Workshop (MobiWac 2002) Held in conjunction with MASCOTS 2002 - Fort Worth, TX, USA (2002.10.12-2002.10.12)] International Mobility and Wireless Access Workshop - JXTA: a technology facilitating mobile peer-to-peer networks

Maibaum, N., Mundt, T.

Année:

2002

Langue:

english

Fichier:

PDF, 398 KB

english, 2002

[IEEE 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence

Grigorova, S, Maibaum, T S E

Année:

2013

Langue:

english

Fichier:

PDF, 343 KB

english, 2013

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers

Castro, Pablo F., Maibaum, T.S.E.

Année:

2007

Langue:

english

Fichier:

PDF, 399 KB

english, 2007

Survivalism in the USA

Maibaum, Matthew

Journal:

Patterns of Prejudice

Année:

1986

Langue:

english

Fichier:

PDF, 196 KB

english, 1986

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Process Semantics for BPMN

Liu, Shaoying, Maibaum, Tom, Araki, Keijiro

Année:

2008

Langue:

english

Fichier:

PDF, 325 KB

english, 2008

[IEEE Comput. Soc Sixth IEEE Symposium on Computers and Communications - Hammamet, Tunisia (3-5 July 2001)] Proceedings. Sixth IEEE Symposium on Computers and Communications - Extending the data storage capabilities of a Java-based smartcard

Cap, C.H., Maibaum, N., Heyden, L.

Année:

2001

Langue:

english

Fichier:

PDF, 547 KB

english, 2001

A Practical Manual of Screen Playwriting for Theater and Television Filmsby Lewis Herman

Review by: Richard Maibaum

Journal:

Journal of the University Film Producers Association

Année:

1953

Langue:

english

Fichier:

PDF, 214 KB

english, 1953

Rosetta Lander – Landing and operations on comet 67P/Churyumov–Gerasimenko

Ulamec, Stephan, Fantinati, Cinzia, Maibaum, Michael, Geurts, Koen, Biele, Jens, Jansen, Sven, Küchemann, Oliver, Cozzoni, Barbara, Finke, Felix, Lommatsch, Valentina, Moussi-Soffys, Aurelie, Delmas,

Journal:

Acta Astronautica

Année:

2016

Langue:

english

Fichier:

PDF, 2.32 MB

english, 2016

Small-molecule factor D inhibitors targeting the alternative complement pathway

Maibaum, Jürgen, Liao, Sha-Mei, Vulpetti, Anna, Ostermann, Nils, Randl, Stefan, Rüdisser, Simon, Lorthiois, Edwige, Erbel, Paul, Kinzel, Bernd, Kolb, Fabrice A, Barbieri, Samuel, Wagner, Julia, Durand

Journal:

Nature Chemical Biology

Année:

2016

Langue:

english

Fichier:

PDF, 1.16 MB

english, 2016

Thermophysical modeling of Didymos’ moon for the Asteroid Impact Mission

Pelivan, Ivanka, Drube, Line, Kührt, Ekkehard, Helbert, Jörn, Biele, Jens, Maibaum, Michael, Cozzoni, Barbara, Lommatsch, Valentina

Journal:

Advances in Space Research

Année:

2017

Langue:

english

Fichier:

PDF, 3.76 MB

english, 2017

A theoretical framework for cardinality-based feature models: The semantics and computational aspects

Safilian, Aliakbar, Maibaum, Tom, Diskin, Zinovy

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2018

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2018

Innovationsphänomene || Innovationsgesellschaft und Innovationsfelder

Hergesell, Jannis, Maibaum, Arne, Minnetian, Clelia, Sept, Ariane

Année:

2018

Langue:

german

Fichier:

PDF, 310 KB

german, 2018

Innovationsphänomene || Von Slow Food zu Cittaslow

Hergesell, Jannis, Maibaum, Arne, Minnetian, Clelia, Sept, Ariane

Année:

2018

Langue:

german

Fichier:

PDF, 246 KB

german, 2018

Chilaiditi's syndrome and obesity

J.M. Murphy, A. Maibaum, G. Alexander, A.K. Dixon

Journal:

Clinical Anatomy

Année:

2000

Langue:

english

Fichier:

PDF, 121 KB

english, 2000

Identification of intervals on chromosomes 1, 3, and 13 linked to the development of lupus in BXSB mice

Michelle E. K. Haywood, Maxine B. Hogarth, Jason H. Slingsby, S. Jane Rose, Penny J. Allen, E. Mary Thompson, Michael A. Maibaum, Phillip Chandler, Kevin A. Davies, Elizabeth Simpson, Mark J. Walport,

Journal:

Arthritis & Rheumatism

Année:

2000

Langue:

english

Fichier:

PDF, 97 KB

english, 2000

Pyridino-protophane mit Alkylensegmenten wechselnder Länge

Prof. Dr. Thomas Kauffmann, Gerhard Beißner, Rüdiger Maibaum

Journal:

Angewandte Chemie

Année:

1971

Langue:

german

Fichier:

PDF, 197 KB

german, 1971

Pyridinoprotophanes with Alkylene Segments of Various Lengths

Prof. Dr. Thomas Kauffmann, Dipl.-Chem. Gerhard Beissner, Rüdiger Maibaum

Journal:

Angewandte Chemie International Edition

Année:

1971

Langue:

english

Fichier:

PDF, 204 KB

english, 1971

ChemInform Abstract: Design and Synthesis of Novel 2,7-Dialkyl Substituted 5(S)-Amino-4(S)-hydroxy-8-phenyl-octanecarboxamides as in vitro Potent Peptidomimetic Inhibitors of Human Renin.

R. GOESCHKE, N. C. COHEN, J. M. WOOD, J. MAIBAUM

Journal:

ChemInform

Année:

1998

Fichier:

PDF, 31 KB

1998

ChemInform Abstract: A Convergent Synthesis Approach Towards CGP60536B, a Non-Peptide Orally Potent Renin Inhibitor, via an Enantiomerically Pure Ketolactone Intermediate.

Heinrich Rueeger, Stefan Stutz, Richard Goeschke, Felix Spindler, Juergen Maibaum

Journal:

ChemInform

Année:

2001

Fichier:

PDF, 31 KB

2001

The Nonchiral Bislactim Diethoxy Ether as a Highly Stereo-Inducing Synthon for Sterically Hindered, γ-Branched α-Amino Acids: A Practical, Large-Scale Route to an Intermediate of the Novel Renin Inhibitor Aliskiren.

Richard Goeschke, Stefan Stutz, Walter Heinzelmann, Juergen Maibaum

Journal:

ChemInform

Année:

2003

Langue:

english

Fichier:

PDF, 143 KB

english, 2003

The Nonchiral Bislactim Diethoxy Ether as a Highly Stereo-Inducing Synthon for Sterically Hindered, γ-Branched α-Amino Acids: A Practical, Large-Scale Route to an Intermediate of the Novel Renin Inhibitor Aliskiren

Richard Göschke, Stefan Stutz, Walter Heinzelmann, Jürgen Maibaum

Journal:

Helvetica Chimica Acta

Année:

2003

Langue:

english

Fichier:

PDF, 327 KB

english, 2003

Enantiomers of benzothiadiazine diuretics by direct chromatographic resolution of the racemic drugs

Gottfried Blaschke, Jürgen Maibaum

Journal:

Journal of Pharmaceutical Sciences

Année:

1985

Langue:

english

Fichier:

PDF, 491 KB

english, 1985

Ein Störungssatz für Scharen vollstetiger Operatoren

Gert Maibaum

Journal:

Mathematische Nachrichten

Année:

1970

Langue:

german

Fichier:

PDF, 293 KB

german, 1970

Zu einem Satz über Verteilungen quadratischer Formen in HILBERTräumen

H. Langer, G. Maibaum, P. H. Müller

Journal:

Mathematische Nachrichten

Année:

1974

Langue:

german

Fichier:

PDF, 266 KB

german, 1974

Über mehrdimensionale stochastische Ketten und stochastische Automaten

Gert Maibaum, Peter Mühlmann

Journal:

Mathematische Nachrichten

Année:

1975

Langue:

german

Fichier:

PDF, 668 KB

german, 1975

Pumping lemmas for term languages

T.S.E. Maibaum

Journal:

Journal of Computer and System Sciences

Année:

1978

Langue:

english

Fichier:

PDF, 664 KB

english, 1978

The P1 N-isopropyl motif bearing hydroxyethylene dipeptide isostere analogues of aliskiren are in vitro potent inhibitors of the human aspartyl protease renin

Yasuchika Yamaguchi, Keith Menear, Nissim-Claude Cohen, Robert Mah, Frédéric Cumin, Christian Schnell, Jeanette M. Wood, Jürgen Maibaum

Journal:

Bioorganic & Medicinal Chemistry Letters

Année:

2009

Langue:

english

Fichier:

PDF, 363 KB

english, 2009

Survey of current protein family databases and their application in comparative, structural and functional genomics

Oliver Redfern, Alastair Grant, Michael Maibaum, Christine Orengo

Journal:

Journal of Chromatography B

Année:

2005

Langue:

english

Fichier:

PDF, 312 KB

english, 2005

On a generalized modularization theorem

Theodosis Dimitrakos, Tom Maibaum

Journal:

Information Processing Letters

Année:

2000

Langue:

english

Fichier:

PDF, 109 KB

english, 2000